A spurious confusion in temporal logic
نویسندگان
چکیده
منابع مشابه
A Spurious Confusion in Temporal Logic
R.L. Epstein and E. Buitrago-Díaz aspire to present a vitally new approach to temporal logic, an approach based on the idea of absolute truth-values. They claim the existing approaches are confused and incoherent, and contain a significant number of nonsenses. The alleged problems are generated by truth-values being relativized to positions in time. The fundamental incoherence consists in some ...
متن کاملThe Logic of Confusion
The logic of confusion is a way to handle together incompatible “viewpoints”. These viewpoints can be information data, physical experiments, sets of opinions or believes. Logics of confusion are obtained by generalizing Jaskowski-type semantics and combining it with many-valued se-
متن کاملA Temporal Terminological Logic*
An attempt is made to integrate three well-known formalisms of knowledge representation: terminological logic in the tradition of KL-ONE, the temporal logic of Shoham, and Allen’s interval calculus. Drawing on each of these sources, a temporal terminological logic is proposed which combines structural with temporal abstraction. A formal semantics is provided, and some hints are given for explor...
متن کاملA Decidable Temporal Logic for Temporal Prepositions
This paper investigates the connection between temporal logic and the semantics of some temporal expressions in English. Specii-cally, we show how the meanings of English temporal preposition-phrases can be expressed as modal operators in an interval-based temporal logic which we call ETL0. We show how cascaded temporal preposition phrases and temporal preposition phrases with complex complemen...
متن کاملLogic Programming in a Fragment of Intuitionistic Temporal Linear Logic
Recent development of logic programming languages based on linear logic suggests a successful direction to extend logic programming to be more expressive and more efficient. The treatment of formulasas-resources gives us not only powerful expressiveness, but also efficient access to a large set of data. However, in linear logic, whole resources are kept in one context, and there is no straight ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logic and Logical Philosophy
سال: 2014
ISSN: 2300-9802,1425-3305
DOI: 10.12775/llp.2014.022